تاریخ هوش مصنوعی شاهد آغازی بر اساس اهداف آرمانی است. پس از آن چرخشی تدریجی به سوی کاربردهای محاسبه پذیر روی داده است. در این مقاله، فرااستدلال به عنوان راهی برای رسیدن به توانایی های هوشمندانه و مفیدی معرفی شده است که در آغاز راه هوش مصنوعی مطرح گردیده اند. برای روشن شدن راه های ممکن در فرااستدلال، انواع فرااستدلال به سه گروه پیش فرااستدلال، فرااستدلال همنوا، و پس فرااستدلال طبقه بندی شده است. در یک پیاده سازی کاربردی، از پس فرااستدلال برای مکان یابی یک آدمک مصنوعی و مجازی استفاده شده است. نشان داده شده است که پس فرااستدلال می تواند دقت مکان یابی را بهبود بخشد البته اگر از آغاز ندانیم کدام روش مکان یابی برتر است.